Большая советская энциклопедия - льюис кларенс ирвинг

Льюис (Lewis) Кларенс Ирвинг (12.4.1883, Стонем, Массачусетс, — 3.2.1964, Менло-Парк, Калифорния), американский логик. С 1930 профессор философии Гарвардского университета. Логические работы Л. посвящены в основном разработке модальной логики и ее применению к формализации логического следования, а также вопросам логической семантики. В 1912 указал на несоответствие материальной импликации (см. Логические операции) обычному понятию логического следования и ввел понятие строгой импликации, основанной на модальном понятии возможности; разработал ряд исчислений строгой импликации. По философским взглядам Л. близок к прагматизму. Соч.: Implication and the algebra of logic, «Mind», 1912, new series, v. 21, № 84; A survey of symbolic logic, Berk., 1918. Лит.: The philosophy of C. J. Lewis, L., 1968.